منابع مشابه
Axiomatisations of Weak Equivalences for De Simone Languages
Aceto, Bloom and Vaandrager proposed in ABV92] a procedure for generating a complete axiomatisation of strong bisimulation for process languages in the GSOS format. However, the choice operator +, which the procedure uses, as well as other auxiliary GSOS operators, which it introduces to obtain a nite axiomatisation, do not preserve many of weak equivalences. We propose a modiication of this pr...
متن کاملBoard Simone
Consolidated Enterprise IT solutions have proven to enhance business efficiency when significant fractions of local computing activities are migrating away from desktop PCs and departmental servers and are being integrated and packaged on the Web into “the computing cloud.” Whether referred to Grid, Utility or Cloud Computing, the idea is basically the same: instead of investing in and maintain...
متن کاملGiorgio Spiazzi, Simone Buso
The paper presents a simple soft-switching forward DC-DC converter suitable for low power applications. A lossless passive turn-off snubber is employed to provide zero voltage turn off of the switch as well as transformer reset. Moreover, the choice to operate the converter in discontinuous conduction mode (DCM), while providing zero current turn on of the switch, also allows to simplify the to...
متن کاملmémoires originaux- description de hyalomma dromedarii (koch 1844) morphologie de la larve et de la nymphe
0
متن کاملOld Age
In his sixty-fifth year George Sanders took his own life, leaving a note saying that he was bored. Writing in her sixty-fourth year, Simone de Beauvoir is determined that she, at any rate, will not be bored by old age. This book is a tribute to her energy in researching the sociological, psychological and anthropological aspects of old age?historically and in the present day. Its length (over 5...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Thélème. Revista Complutense de Estudios Franceses
سال: 2019
ISSN: 1989-8193,1139-9368
DOI: 10.5209/thel.64597